R. Gorrieri: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design V Volume 5705 || Federated Identity Management

Aldini, Alessandro, Barthe, Gilles, Gorrieri, Roberto

Year:

2009

Language:

english

File:

PDF, 599 KB

english, 2009

2

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design VI Volume 6858 || The Geometry of Lattice Cryptography

Aldini, Alessandro, Gorrieri, Roberto

Year:

2011

Language:

english

File:

PDF, 368 KB

english, 2011

3

Verification of finite-state machines: A distributed approach

Gorrieri, Roberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 534 KB

english, 2018

4

Coordination models, languages and architectures

Paolo Ciancarini, Roberto Gorrieri

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 240 KB

english, 1998

5

Theoretical aspects of coordination languages

Roberto Gorrieri, Chris Hankin

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 217 KB

english, 1998

6

Secrecy in Security Protocols as Non Interference

R. Focardi, R. Gorrieri, F. Martinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 652 KB

english, 2000

7

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design VI Volume 6858 || Quantitative Information Flow and Applications to Differential Privacy

Aldini, Alessandro, Gorrieri, Roberto

Year:

2011

Language:

english

File:

PDF, 366 KB

english, 2011

8

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design Volume 2171 || The Logic of Authentication Protocols

Focardi, Riccardo, Gorrieri, Roberto

Year:

2001

Language:

english

File:

PDF, 797 KB

english, 2001

9

Comparing the QoS of Internet audio mechanisms via formal methods

Aldini, Alessandro, Bernardo, Marco, Gorrieri, Roberto, Roccetti, Marco

Journal:

ACM Transactions on Modeling and Computer Simulation

Year:

2001

Language:

english

File:

PDF, 250 KB

english, 2001

10

[Texts in Theoretical Computer Science. An EATCS Series] Introduction to Concurrency Theory ||

Gorrieri, Roberto, Versari, Cristian

Year:

2015

Language:

english

File:

PDF, 3.47 MB

english, 2015

11

[Monographs in Theoretical Computer Science. An EATCS Series] Process Algebras for Petri Nets ||

Gorrieri, Roberto

Year:

2017

Language:

english

File:

PDF, 3.05 MB

english, 2017

12

CCS(25,12) is Turing-complete

Gorrieri, Roberto, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 215 KB

english, 2017

13

A process-algebraic approach for the analysis of probabilistic noninterference1

Aldini, Alessandro, Bravetti, Mario, Gorrieri, Roberto

Journal:

Journal of Computer Security

Year:

2004

File:

PDF, 484 KB

2004

14

On the implementation of concurrent calculi in net calculi: two case studies

Roberto Gorrieri, Ugo Montanari

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 3.79 MB

english, 1995

15

A theory of processes with durational actions

Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.48 MB

english, 1995

16

Combining Partitions in SecSpaces

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 223 KB

english, 2004

17

Towards Information Flow Properties for Distributed Systems

Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 373 KB

english, 2009

18

Preface

Mario Bravetti, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 55 KB

english, 2004

19

Preface

Nadia Busi, Roberto Gorrieri, Fabio Martinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 66 KB

english, 2005

20

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 254 KB

english, 2005

21

A Formalization of Credit and Responsibility Within the GNDC Schema

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 334 KB

english, 2006

22

Theoretical foundations of security analysis and design II

Roberto Gorrieri, Fabio Martinelli

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 115 KB

english, 2005

23

Quantitative information in the tuple space coordination model

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 238 KB

english, 2005

24

Coping with denial of service due to malicious Java applets

M.F Florio, R Gorrieri, G Marchetti

Journal:

Computer Communications

Year:

2000

Language:

english

File:

PDF, 1.12 MB

english, 2000

25

Unified specification and performance evaluation using stochastic process algebras

Roberto Gorrieri, Ulrich Herzog, Jane Hillston

Journal:

Performance Evaluation

Year:

2002

Language:

english

File:

PDF, 28 KB

english, 2002

26

Corrigendum to “A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time”: [Theoret. Comput. Sci. 202 (1998) 1–54]

Marco Bernardo, Roberto Gorrieri

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 75 KB

english, 2001

27

The theory of interactive generalized semi-Markov processes

Mario Bravetti, Roberto Gorrieri

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 260 KB

english, 2002

28

Editorial

Roberto Gorrieri

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 37 KB

english, 2002

29

A comparison of three authentication properties

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 365 KB

english, 2003

30

A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time

Marco Bernardo, Roberto Gorrieri

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 3.79 MB

english, 1998

31

A process algebraic view of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 2.17 MB

english, 1998

32

Foreword

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 31 KB

english, 1999

33

Comparing three semantics for Linda-like languages

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 258 KB

english, 2000

34

A formal approach for checking security properties in SecSpaces

Roberto Lucchi, Mario Bravetti, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 927 KB

english, 2003

35

Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)

Mario Bravetti, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 471 KB

english, 1999

36

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗

Nadia Busi, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 190 KB

english, 2003

37

On the Turing equivalence of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 30 KB

english, 1997

38

Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet

Marco Bernardo, Roberto Gorrieri, Marco Roccetti

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 166 KB

english, 1998

39

Performance preorder and competitive equivalence

Flavio Corradini, Roberto Gorrieri, Marco Roccetti

Journal:

Acta Informatica

Year:

1997

Language:

english

File:

PDF, 313 KB

english, 1997

40

Automated analysis of timed security: a case study on web privacy

Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Journal:

International Journal of Information Security

Year:

2004

Language:

english

File:

PDF, 359 KB

english, 2004

41

Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 776 KB

english, 2008

42

A2CCS: atomic actions for CCS

Roberto Gorrieri, Sergio Marchetti, Ugo Montanari

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 2.29 MB

english, 1990

43

Approximating Imperfect Cryptography in a Formal Model

Angelo Troina, Alessandro Aldini, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 284 KB

english, 2004

44

A simple framework for real-time cryptographic protocol analysis with compositional proof rules

Roberto Gorrieri, Fabio Martinelli

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 377 KB

english, 2004

45

Techniques for Security Checking: Non-Interference vs Control Flow Analysis

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 208 KB

english, 2002

46

Formal Models of Timing Attacks on Web Privacy

Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 192 KB

english, 2002

47

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1256 || Randomization and nondeterminism are comparable for ordered read-once branching programs

Degano, Pierpaolo, Gorrieri, Roberto, Marchetti-Spaccamela, Alberto

Year:

1997

Language:

english

File:

PDF, 562 KB

english, 1997

48

Complicated pericardial cyst: Atypical anatomy and clinical course

Gian Lauro Bava, Lucia Magliani, Daniele Bertoli, Pier Francesco Gorrieri, Alessandro Rimini, Gianfranco Zaccagnini, Alberto Bertolini

Journal:

Clinical Cardiology

Year:

1998

Language:

english

File:

PDF, 581 KB

english, 1998

49

Split and ST Bisimulation Semantics

R. Gorrieri, C. Laneve

Journal:

Information and Computation

Year:

1995

File:

PDF, 1.18 MB

1995

50

A Causal Operational Semantics of Action Refinement

P. Degano, R. Gorrieri

Journal:

Information and Computation

Year:

1995

File:

PDF, 1.64 MB

1995